On Modularity In Abstract State Machines

In the field of model based formal methods we investigate the Abstract State Machine (ASM) modularity features. With the growing complexity of systems and the experience gained in more than thirty years of ASM method application a need for more manageable models emerged. We mainly investigate the notion of modules in ASMs as independent interacting components and the ability to identify portions of the machine state with the aim of improving the modelling process. In this thesis we provide a language level semantically well defined solution for (1) the definition of ASM modules as independent services and their communication behaviour; (2) a new construct that operates on the global state of an ASM machine that ease the management of state partitions and their identification; (3) a novel transition rule for the management of computations providing different execution strategies and putting termination condition for the machine inside the specification; (4) a data definition convention along with a new transition rule for their manipulation via pattern matching. In our work we build upon CoreASM, a well-known extensible modelling framework and tool environment for ASMs. The semantic of our modularity constructs is compatible with the one defined for the CoreASM interpreter. This ease the implementation of extension plugins for tool support of modularity features. A real world system use case ground model ends the thesis exemplifying the practical usage of our modularity constructs

SeaClouds: Agile management of complex applications across multiple heterogeneous clouds

SeaClouds is a European FP7 research project, whose goal is to develop a novel open solution to provide developers with the capabilities to design, configure, deploy, and manage complex applications across multiple heterogeneous clouds in an efficient and adaptive way

CQ - Code selection through query

This thesis proposes a query language for code selection. It is designed to work on virtual machine based languages and is intended to be used to nd regions of code that match a pattern dened by a query. Queries are dened by methods following the query-by-example approach and are performed using a query operator. The query operator we describe is perceived at high level language but performs queries at virtual machine intermediate language. The matching process and operators described are similar to the ones used in regular expression pattern matching but with some dierences, for example, these patterns have code instructions as symbols. We have developed a prototype (Code Query) that implements the query op- erator and provides an API to perform queries. Code Query is implemented in C# on CLI platform. Our approach allows cross-language queries with the only constraint that such languages must target the same virtual machine. Our work can be used to develop a framework for aspect oriented programming that does not require modication or extension to the virtual machine compiler and that can match not only join points but also any arbitrary portion of code

CEED: a Cooperative Web-Based Editor for Critical Editions

In this paper some of the results of the ERC Advanced Project PhiBor project are presented. PhiBor\u2019s main objectives are to produce a comprehensive inventory of manuscripts of Avicenna\u2019s Il\u101hiyy\u101t, his main work on metaphysics, and to create on their basis a TEI P5 compliant digital critical edition. In order to permit scholars with little or no technical skills to produce a digital edition, we are developing CEED: a web-based critical edition editor. The main goal of CEED is to provide a user-friendly editor that lets scholars perform their work without requiring the acquisition of technical skills. The editor produces TEI P5 digital editions by leveraging the well known word processor approach. CEED environment is also meant to ease cooperation between scholars, since a project can be shared by several different contributor

La Filologia come sistema dinamico

In this article we introduce a formal approach to the evolution of documents with particular attention to the philological perspective and the typical related issues. We propose a mathematical model capable of formalizing various complex phenomena in various research fields such as Computational Linguistics, Digital Philology and Software Engineering, in particular when this is applied to the analysis of documents and texts of historical and literary interest.In questo articolo introduciamo un approccio formale all’evoluzione dei documenti con particolare attenzione alla prospettiva filologica e alle problematiche tipiche connesse. Proponiamo un modello matematico in grado di formalizzare diversi fenomeni complessi in vari ambiti di ricerca quali la Linguistica Computazionale, la Filologia Digitale e l’Ingegneria del Software, in particolare quando questa viene applicata all'analisi di documenti e testi di interesse storico-letterario

DSE Visualisation with EVT: Simplicity is Complex

Abstract and poster of paper 0416 presented at the Digital Humanities Conference 2019 (DH2019), Utrecht , the Netherlands 9-12 July, 2019

DSE Visualisation with EVT: Simplicity is Complex

Abstract and poster of paper 0416 presented at the Digital Humanities Conference 2019 (DH2019), Utrecht , the Netherlands 9-12 July, 2019

SeaClouds: An Application Management System over Cloud

How to deploy and manage, in an ecient and adaptive way, complex applications across multiple heterogeneous cloud platforms is one of the problems that have emerged with the cloud revolution. Here we present the context, motivations, objectives, proposal and initial results of SeaClouds: an european research project, which aims at enabling a seamless adaptive multi-cloud management of complex applications by supporting the distribution, monitoring and migration of application modules over multiple heterogeneous cloud platforms

Adaptive application management over multiple clouds

SeaClouds is a European FP7 research project, whose goal is to provide a novel open source platform to enable application developers to congure, deploy, and manage complex applications across multiple heterogeneous IaaS and PaaS clouds in an ecient and adaptive way